61. Cryptology and network security :
پدیدآورنده : Jan Camenisch, Panos Papadimitratos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Data encryption (Computer science), Congresses.,Computer Communication Networks.,Computers and Society.,Cryptology.,Information Systems and Communication Service.,Software Engineering/Programming and Operating Systems.,Computer networking & communications.,Computer networks-- Security measures.,Computers-- Hardware-- Network Hardware.,Computers-- Online Services-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Ethical & social aspects of IT.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
62. Cryptology and network security :
پدیدآورنده : Srdjan Capkun, Sherman S.M. Chow (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Data encryption (Computer science), Congresses.,Coding theory & cryptology.,Computer networks-- Security measures.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data mining.,Ethical & social aspects of IT.,Information retrieval.,Software Engineering.
رده :
QA76
.
9
.
A25
63. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
64. DNA computing and molecular programming :
پدیدآورنده : David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
65. Datalog reloaded :
پدیدآورنده : Oege de Moor...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data loggers, Congresses.,Deductive databases, Congresses.
رده :
QA76
.
9
.
D34
D38
2010
66. Developments and advances in defense and security :
پدیدآورنده : editors, Álvaro Rocha and Robson Pacheo Pereira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Military policy, Congresses.,National security, Congresses.,Computer security.,HISTORY / Military / Other.,Military policy.,National security.,TECHNOLOGY & ENGINEERING / Military Science.
رده :
UA10
.
5
67. Digital Information Processing and Communications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Electronic data processing -- Congresses,Computer networks -- Congresses,نرمافزار -- مهندسی -- کنگرهها ,دادهپردازی -- کنگرهها,شبکههای کامپیوتری -- کنگرهها
رده :
E-Book
,
68. Distributed computing :
پدیدآورنده : David Peleg (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
D53
2011
69. Distributed computing and internet technology
پدیدآورنده : / Tomasz Janowski, Hrushikesha Mohanty (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing, Distributed processing, Congresses,Internet, Congresses,Application software, Congresses,Computer networks, Management, Congresses,Bhubaneswar (2010), swd,Kongress., swd
رده :
QA76
.
9
.
D5I584
2010
70. Emerging research in electronics, computer science and technology :
پدیدآورنده : V. Sridhar, M. C. Padma, K. A. Radhakrishna Rao, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering, Congresses.,Technological innovations, Congresses.,Engineering.,Technological innovations.
رده :
T173
.
8
71. Emerging technologies for authorization and authentication :
پدیدآورنده : Andrea Saracino, Paolo Mori (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Access control, Congresses.,Computer security, Congresses.,Computer science.,Computer security.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data protection.,Information retrieval.,Information technology: general issues.,Network hardware.,Pattern recognition.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
72. Engineering secure software and systems
پدیدآورنده : Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A25
E54
2011eb
73. Enterprise information systems :
پدیدآورنده : Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
74. Environmental software systems :
پدیدآورنده : edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing, Congresses.,Environmental sciences-- Data processing, Congresses.,Sensor networks, Congresses.,Ubiquitous computing, Congresses.,Artificial intelligence.,Cloud computing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Environmental sciences-- Data processing.,Information retrieval.,Information technology: general issues.,Network hardware.,Sensor networks.,Software Engineering.,Ubiquitous computing.
رده :
QA76
.
76
.
A65
75. Experimental algorithms
پدیدآورنده : / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
76. Experimental algorithms :
پدیدآورنده : Ralf Klasing (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms.,Informatique.
77. Formal methods and software engineering :
پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
78. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
79. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
80. Future generation information technology :
پدیدآورنده : Tai-hoon Kim [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
F45
2011